invariant generator

[计] 不变式产生器